Fix warning: cast to gchar*

diff --git a/gtk/gtkcolorsel.c b/gtk/gtkcolorsel.c
index a23ff5e28a252983d8c8aeadb2face2c5b3c848e..63f6fdeb63da3dfea0c71413a343d9fcd1a50013 100644 (file)
--- a/gtk/gtkcolorsel.c
+++ b/gtk/gtkcolorsel.c
@@ -1068,7 +1068,7 @@ set_focus_line_attributes (GtkWidget *drawing_area,
 
   if (dash_list[0])
     {
-      gint n_dashes = strlen (dash_list);
+      gint n_dashes = strlen ((gchar *)dash_list);
       gdouble *dashes = g_new (gdouble, n_dashes);
       gdouble total_length = 0;
       gdouble dash_offset;